The Oz Project at CMU is developing technology and art to help artists create high quality interactive drama, based in part on AI technologies. This especially means building believable agents in dramatically interesting micro-worlds.
The thrust of the Venari project at Carnegie Mellon University is addressing the problem of search, hence the name. We touch upon areas in programming and specification language design, semantics, and implementation; concurrent and distributed systems...
We develop new models, theories, methods, languages, and tools for classifying, specifying, analyzing, and designing software systems beyond the component level. This support could lead to substantial reduction in maintenance costs, improvement in sof...
By Real-Time and Multimedia Laboratory, Department of Computer Science, Carnegie Mellon University. RT-Mach is a resource kernel, a kernel provides resource-centric services, which can then be used to satisfy end-to-end QoS needs.
Multitasking, multiprocessor OS with features of commercial realtime OSs; as fast as VxWorks, OS-9, VRTX, LynxOS; 10 times faster in some cases: interprocessor communication. VMEbus-based, supports C/C++, goal: support developing dynamically reconfigu...